منابع مشابه
Dexter Kozen: An Appreciation
I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was already “the man”. Although he was only a few years ahead of me, he had already made his name by independently defining the notion of alternating Turing machines, a deep contribution to complexity theory that made it possible to connect time and space complexity. The results wer...
متن کاملAn Algebraic Dexter-Based Hypertext Reference Model
We present the first formal algebraic specification of a hypertext reference model. It is based on the well-known Dexter Hypertext Reference Model and includes modifications with respect to the development of hypertext since the WWW came up. Our hypertext model was developed as a product model with the aim to automatically support the design process and is extended to a model of hypertextsystem...
متن کاملTimesharing Dexter
My husband Neil Immerman returned from the 1986 STOC meeting with an interesting proposition. Juris Hartmanis and Dexter Kozen had a small pocket of funds, and they proposed that the two of us visit the Cornell Computer Science Department for a week. It sounded delightful but we had a complication: our new son, who was all of four months old. We decided to time-share Dexter and split child care...
متن کامل[Cor triatriatum dexter of an adult].
Cor triatriatum dexter is a rare congenital malformation in which a membrane divides the right atrium into two chambers. The membrane represents a persistence of the right sinus venosus valve (RSV). Normally the RSV regresses between the 9th and 15th week of gestation, as the cephalic portion forms the crista terminalis and the caudal portion develops into the Eustachian and Thebesian valve. An...
متن کاملNew Dexter
We propose a theoretical device for modeling the creation of new in-discernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Anatomical Record
سال: 1928
ISSN: 0003-276X,1097-0185
DOI: 10.1002/ar.1090370404